more on this theme     |     more from this thinker     |     more from this text

Single Idea 13650

[filed under theme 5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic ]

Full Idea

In 'Henkin' semantics, in a given model the relation variables range over a fixed collection of relations D on the domain, and the function variables range over a collection of functions F on the domain.

Gist of Idea

Henkin semantics has separate variables ranging over the relations and over the functions

Source

Stewart Shapiro (Foundations without Foundationalism [1991], 3.3)

Book Ref

Shapiro,Stewart: 'Foundations without Foundationalism' [OUP 1991], p.73